Knowledge-Based Stable Roommates Problem: A Real-World Application
نویسندگان
چکیده
Abstract The Stable Roommates problem with Ties and Incomplete lists (SRTI) is a matching characterized by the preferences of agents over other as roommates, where may have ties or be incomplete. SRTI asks for that stable and, sometimes, optimizes domain-independent fairness criterion (e.g. Egalitarian). However, in real-world applications assigning students roommates at dormitory), we usually consider variety domain-specific criteria depending on habits desires agents. With this motivation, introduce knowledge-based method to considering knowledge investigate its application university dormitory.
منابع مشابه
The Strongly Stable Roommates Problem
An instance of the strongly stable roommates problem with incomplete lists and ties (srti) is an undirected non-bipartite graph G = (V,E), with an adjacency list being a linearly ordered list of ties, which are vertices equally good for a given vertex. Ties are disjoint and may contain one vertex. A matching M is a set of vertex-disjoint edges. An edge {x, y} ∈ E \M is a blocking edge for M if ...
متن کاملThe Stable Roommates Problem with Ties
We study the variant of the well-known Stable Roommates problem in which participants are permitted to express ties in their preference lists. In this setting, more than one definition of stability is possible. Here we consider two of these stability criteria, so-called super-stability and weak stability. We present a linear-time algorithm for finding a super-stable matching if one exists, give...
متن کاملStable Roommates Problem with Random Preferences
Matching under preferences is a topic of great practical importance, deep mathematical structure, and elegant algorithmics [Manlove 2013; Gusfield and Irving 1989]. The most famous example is the stable marriage problem, where n men and n women compete with each other in the “marriage market.” Each man ranks all the women according to his individual preferences, and each woman does the same wit...
متن کامل"Almost Stable" Matchings in the Roommates Problem
An instance of the classical Stable Roommates problem (sr) need not admit a stable matching. This motivates the problem of finding a matching that is “as stable as possible”, i.e. admits the fewest number of blocking pairs. In this paper we prove that, given an sr instance with n agents, in which all preference lists are complete, the problem of finding a matching with the fewest number of bloc...
متن کاملKnowledge Engineering in a Real World Case-Based Reasoning Application
Case-Based Reasoning (CBR) has emerged from research in cognitive psychology as a model of human memory and remembering. It has been embraced by researchers of AI applications as a methodology that avoids some of the knowledge acquisition and reasoning problems that occur with other methods for developing knowledge-based systems. In this paper we propose that, in developing knowledge based syst...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2021
ISSN: ['1471-0684', '1475-3081']
DOI: https://doi.org/10.1017/s1471068421000302